Search results for "Logic model"
showing 10 items of 12 documents
Effects of initialization on response of a fully-distributed hydrologic model
2008
Summary Knowledge of initial conditions is very important to correctly model the basin response at the storm event scale. Of particular interest is the influence of topography and soil type on the principal hydrologic variables and runoff generation mechanisms as a function of antecedent wetness conditions. This study addresses the influence of initial states on the short-term hydrologic response and characterizes the effects of topography and soils on the dissipation of the influence of the initialization conditions. Two case studies are considered: a synthetic two-dimensional planar hillslope with various assumed slope magnitudes and soil types; and a real basin (∼800 km2) with actual lan…
Integrated Fuzzy Solution for Network Selection using MIH in Heterogeneous Environment
2013
ISSN: 1942-2644; International audience; Seamless handover between networks in heterogeneous environment is essential to guarantee end-to- end QoS for mobile users. A key requirement is the ability to select seamlessly the next best network. Currently, the implementation of the selection algorithm of the IEEE 802.21 standard by National Institute of Standards and Technology considers only the signal strength as a parameter to select the best destination network. In this paper, we improve the implementation of the existing selection algorithm by proposing an integrated solution to select the best destination network. Our proposed solution consists of proposing a Multi Criteria Selection Algo…
Implications of terrain resolution on modeling rainfall-triggered landslides using a TIN- based model
2021
Abstract This study employs a distributed eco-hydrological-landslide model, the tRIBS-VEGGIE-Landslide, to evaluate the influence of terrain resolution on the hydro-geomorphological processes involved in slope stability analysis. The model implements a Triangulated Irregular Network (TIN) to describe the topography starting from a grid-DEM. Five grid-DEM resolutions of the case study basin, i.e., 10, 20, 30 and 70 m, are used to derive the corresponding TINs. The results show that using irregular meshes reduces the loss of accuracy with coarser resolutions in the derived slope distribution in comparison to slope distributions estimated from the original grid-based DEM. From a hydrological p…
Basin-Scale Water Resources Assessment in Oklahoma under Synthetic Climate Change Scenarios Using a Fully Distributed Hydrologic Model
2010
Climate change resulting from the enhanced greenhouse effect is expected to have significant implications for the hydrological cycle. Several studies have pointed out the importance of basin-scale investigations for determining regional impacts on water resources, including the effects of floods and droughts. In this study, a fully distributed hydrologic model is used to assess the potential impacts of climate change on water availability in a basin in Oklahoma United States . With this aim, the hydrologic model was applied for current conditions as well as under the hypotheses of climate variations represented by scenarios consistent with a climatic trend analysis generated using a stochas…
Creating Learning Environments Free of Violence in Special Education through the Dialogic Model of Prevention and Resolution of Conflicts
2021
Violence suffered by children is a violation of human rights and a global health problem. Children with disabilities are especially vulnerable to violence in the school environment, which has a negative impact on their well-being and health. Students with disabilities educated in special schools have, in addition, more reduced experiences of interaction that may reduce both their opportunities for learning and for building protective social networks of support. This study analyses the transference of evidence-based actions to prevent violence in schools –the Dialogic Model of Prevention and Resolution of Conflicts (DMPRC)– in the context of a special school, and its impact on the reduction …
The complexity of finite model reasoning in description logics
2005
AbstractWe analyse the complexity of finite model reasoning in the description logic ALCQI, i.e., ALC augmented with qualifying number restrictions, inverse roles, and general TBoxes. It turns out that all relevant reasoning tasks such as concept satisfiability and ABox consistency are ExpTime-complete, regardless of whether the numbers in number restrictions are coded unarily or binarily. Thus, finite model reasoning with ALCQI is not harder than standard reasoning with ALCQI.
Technologies supporting vision screening: a protocol for a scoping review
2021
Introduction Vision problems affect academic performance, social and mental health. Most traditional vision screening methods rely on human expert assessments based on a set of vision tests. As technology advances, new instruments and computerised tools are available for complementing vision screening. The scoping review based on this protocol aims to investigate current technologies for vision screening, what vision tests can be complemented by technologies, and how these can support vision screening by providing measurements. Methods and analysis The planned review will utilise the PRISMA extension for Scoping Reviews (PRISMA-ScR) tool. Electronic search will be performed in databases, i…
Spatio-temporal Schema Integration with Validation: A Practical Approach
2005
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data model; the inter-schema mappings are validated against the semantics of the data model and the syntax of the correspondence language. In this paper, we focus on how to employ a reasoning engine to validate spatio-temporal schemas and describe where the reasoning engine is plugged into our integration methodology. The validation phase distinguishes our integration methodology from other approaches. We shift the emphasis on automation from the a priori discovery to the a posteriori checking of the inter-schema mapping…
tRIBS-Erosion: A parsimonious physically-based model for studying catchment hydro-geomorphic response
2012
Our goal is to develop a model capable to discern the response of a watershed to different erosion mechanisms. We propose a framework that integrates a geomorphic component into the physically-based and spatially distributed TIN-based Real-time Integrated Basin Simulator (tRIBS) model. The coupled model simulates main erosive processes of hillslopes (raindrop impact detachment, overland flow entrainment, and diffusive processes) and channel (erosion and deposition due to the action of water flow). In addition to the spatially distributed, dynamic hydrologic variables, the model computes the sediment transport discharge and changes in elevation, which feedback to hydrological dynamics throug…
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
2001
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which is neither based on infinitesimal probabilities nor on atomic-bound (or also big-stepped) probabil…